Mathematical Programming - PDFSEARCH.IO - Document Search Engine

Mathematical Programming
Results: 4310

#	Item
521	Oil & Gas Science and Technology – Rev. IFP, Vol), No. 1, ppc 2009, Institut français du pétrole Copyright DOI: ogstIFP International Conference Add to Reading List Source URL: ogst.ifpenergiesnouvelles.fr Language: English Mathematical optimization Operations research Systems science Equations Systems theory Numerical analysis Optimal control Dynamic programming Constraint Bellman equation
522	The 2007 Federated Conference on Rewriting, Deduction and Programming Paris, France June 25 – 29, 2007 PATE’07 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2007-07-11 19:10:14 Mathematical proof Mathematics KeY Equivalence relation Epistemology Knowledge
523	Local Actions for a Curry-style Operational Semantics ∗ Gordon Stewart Andrew W. Appel Princeton University, Princeton, NJ, USA Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-11-22 11:49:24 Logic Theoretical computer science Logic in computer science Mathematical logic Programming language semantics Philosophical logic Non-classical logic Operational semantics Semantics Kripke semantics Modal logic Axiomatic semantics
524	Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under a closed-world assumption, i.e., that the Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-01-17 22:16:49 Logic Theoretical computer science Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Mathematical logic Security type system Symbol
525	Equideductive Logic and CCCs with Subspaces Paul Taylor Computer Laboratory University of Cambridge Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:35:41 Logic Theoretical computer science Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol General topology Cartesian closed category Lambda calculus
526	Searching for Novel Clustering Programs Enrique Naredo ∗ Leonardo Trujillo Doctorado en Ciencias de la Ingeniería Instituto Tecnológico de Tijuana Add to Reading List Source URL: eplex.cs.ucf.edu Language: English - Date: 2013-07-31 13:54:02 Statistics Applied mathematics Computational statistics Mathematical optimization Cluster analysis Data mining Geostatistics Operations research K-means clustering Fitness landscape Evolutionary computation Genetic programming
527	Scientific Report First name / Family name Ralf Hannemann-Tamás Add to Reading List Source URL: fellowship.ercim.eu Language: English - Date: 2013-02-13 10:01:41 Object-oriented programming Software engineering Scientific modeling Mathematical optimization Operations research Modelica Sensitivity analysis Reduction Computer programming Economy
528	Who’s afraid of concurrent programming? Madhavan Mukund Chennai Mathematical Institute http://www.cmi.ac.in/~madhavan ACM, Chennai Professional Chapter Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2013-03-13 11:33:08
529	Charlottenstr. 2, 01099, Dresden Germany https://yoichihirai.com Add to Reading List Source URL: yoichihirai.com Language: English - Date: 2016-01-06 15:14:57 Software Hirai Coq Mathematical logic Declarative programming
530	CS168: The Modern Algorithmic Toolbox Lecture #15: Gradient Descent Basics Tim Roughgarden & Gregory Valiant May 18, Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2015-05-27 17:30:42 Numerical analysis Mathematical analysis Mathematical optimization Convex analysis Operations research Convex optimization Gradient descent Derivative Convex function Linear programming Gradient boosting FrankWolfe algorithm

UPDATE